Fix up cset 11228.

Signed-off-by: Steven Smith <sos22@cam.ac.uk>

diff --git a/unmodified_drivers/linux-2.6/platform-pci/platform-pci.c b/unmodified_drivers/linux-2.6/platform-pci/platform-pci.c
index 5d4f25d9c85a03d96e32449a8ada99e914e8cac0..f1def20b3bddabe94a8a7527c4434bcd941dfe99 100644 (file)
--- a/unmodified_drivers/linux-2.6/platform-pci/platform-pci.c
+++ b/unmodified_drivers/linux-2.6/platform-pci/platform-pci.c
@@ -153,7 +153,7 @@ static int get_hypercall_stubs(void)
                return -ENOMEM;
 
        for (i = 0; i < pages; i++)
-               wrmsrl(ebx,
+               wrmsrl(msr,
                       virt_to_phys(hypercall_stubs) +  /* base address      */
                       (i << PAGE_SHIFT) +              /* offset of page @i */
                       i);                              /* request page @i   */